On the effect of boundaries in two-phase porous flow

In this paper we study a model of an interface between two fluids in a porous medium. For this model we prove several local and global well-posedness results and study some of its qualitative properties. We also provide numerics

El doctor Juan de Valverde de Amusco

Capítulo de la conferencia "Los anatómicos y los escultores del Renacimiento castellano", dada en el Ateneo de Valladolid el día 15 de enero de 1927Del Boletín del Colegio de Médicos de la provincia de Palencia, n. 209 y 210Copia digital. Valladolid : Junta de Castilla y León. Consejería de Cultura y Turismo, 2009-201

The Optical Design of the Human Eye: a Critical Review

AbstractCornea, lens and eye models are analyzed and compared to experimental findings to assess properties and eventually unveil optical design principles involved in the structure and function of the optical system of the eye. Models and data often show good match but also some paradoxes. The optical design seems to correspond to a wide angle lens. Compared to conventional optical systems, the eye presents a poor optical quality on axis, but a relatively good quality off-axis, thus yielding higher homogeneity for a wide visual field. This seems the result of an intriguing combination of the symmetry design principle with a total lack of rotational symmetry, decentrations and misalignments of the optical surfaces

Autoridade Nao Hierarquica No Uso Dos Direitos Non Hierachical Authority in the Use of Rigths

First it is presented the notion of the Rule of Law by the providencial paradigm and demonstrated how the modern Nation-State fail to concretize democracy Immanuel Kant s theory is example used here The analysis show that the theoretical grounds in which the Rule of Law reside are in themselves the reason for the injustice of the modern Nation- State The analysis is grounded in Giorgio Agamben s political theory Following is presented the ethical idea of the primacy of the Good over the Right The argument end with the concept of Event sustained as the foundation of the use of rights in a democracy Here the argumentation confront the rationality of John Rawls s theory of justice with the inferential logic of Robert Brandom The aim is to show a understanding of the Rule of Law centered on the persons and able to deal with the particularities of the lives of individuals living on a democrac

Hardware support for Local Memory Transactions on GPU Architectures

Graphics Processing Units (GPUs) are popular hardware accelerators for data-parallel applications, enabling the execution of thousands of threads in a Single Instruction - Multiple Thread (SIMT) fashion. However, the SIMT execution model is not efficient when code includes critical sections to protect the access to data shared by the running threads. In addition, GPUs offer two shared spaces to the threads, local memory and global memory. Typical solutions to thread synchronization include the use of atomics to implement locks, the serialization of the execution of the critical section, or delegating the execution of the critical section to the host CPU, leading to suboptimal performance. In the multi-core CPU world, transactional memory (TM) was proposed as an alternative to locks to coordinate concurrent threads. Some solutions for GPUs started to appear in the literature. In contrast to these earlier proposals, our approach is to design hardware support for TM in two levels. The first level is a fast and lightweight solution for coordinating threads that share the local memory, while the second level coordinates threads through the global memory. In this paper we present GPU-LocalTM as a hardware TM (HTM) support for the first level. GPU-LocalTM offers simple conflict detection and version management mechanisms that minimize the hardware resources required for its implementation. For the workloads studied, GPU-LocalTM provides between 1.25-80X speedup over serialized critical sections, while the overhead introduced by transaction management is lower than 20%.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

zfit: scalable pythonic fitting

Statistical modeling is a key element in many scientific fields and especially in High-Energy Physics (HEP) analysis. The standard framework to perform this task in HEP is the C++ ROOT/RooFit toolkit; with Python bindings that are only loosely integrated into the scientific Python ecosystem. In this paper, zfit, a new alternative to RooFit written in pure Python, is presented. Most of all, zfit provides a well defined high-level API and workflow for advanced model building and fitting, together with an implementation on top of TensorFlow, allowing a transparent usage of CPUs and GPUs. It is designed to be extendable in a very simple fashion, allowing the usage of cutting-edge developments from the scientific Python ecosystem in a transparent way. The main features of zfit are introduced, and its extension to data analysis, especially in the context of HEP experiments, is discussed.Comment: 12 pages, 2 figure